From: Glenn Morris <rgm@gnu.org>
Date: Fri, 27 Jul 2007 08:09:56 +0000 (+0000)
Subject: (EMACSSOURCES): Add gpl.texi.
X-Git-Tag: archive/raspbian/1%29.2+1-2+rpi1^2~5^2~18855^2~1834
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:///%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:/?a=commitdiff_plain;h=4a375a2c692be7aa8a88212177705e3b54ef75ad;p=emacs.git

(EMACSSOURCES): Add gpl.texi.
---

diff --git a/man/Makefile.in b/man/Makefile.in
index f52ac990b7c..00088b74b51 100644
--- a/man/Makefile.in
+++ b/man/Makefile.in
@@ -76,6 +76,7 @@ EMACS_XTRA=\
 EMACSSOURCES= \
 	${srcdir}/emacs.texi \
 	${srcdir}/doclicense.texi \
+	${srcdir}/gpl.texi \
 	${srcdir}/screen.texi \
 	${srcdir}/commands.texi \
 	${srcdir}/entering.texi \